1. Compositional Verification of Concurrent and Real-Time Systems
پدیدآورنده : by Eric Y. T. Juan, Jeffrey J. P. Tsai.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Mechanical engineering.,Software engineering.
2. Dependable Computing for Critical Applications 2
پدیدآورنده : edited by John F. Meyer, Richard D. Schlichting.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Software engineering.
رده :
QA76
.
9
.
F38
E358
1992
3. Euro-Par 2011 Parallel Processing
پدیدآورنده : edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Operating systems (Computers),Software engineering.
4. Facing the Multicore - Challenge II
پدیدآورنده : edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems
5. Formal Methods for Distributed System Development :
پدیدآورنده : PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Software engineering.
6. High Integrity Software
پدیدآورنده : edited by Victor L. Winter, Sourav Bhattacharya.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Software engineering.,Systems theory.
7. Optimierung objektorientierter Programme :
پدیدآورنده : von Martin Trapp.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Software engineering.
8. Techniken der objektorientierten Softwareentwicklung
پدیدآورنده : herausgegeben von Jörg Noack.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Software engineering.
9. Uncertainty Quantification in Scientific Computing:
پدیدآورنده : Andrew M Dienstfrey
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Software engineering.
رده :
Q375
.
A537
2012
